-
1 Craig theorem
См. также в других словарях:
ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… … Философская энциклопедия
ИНТУИЦИОНИСТСКАЯ ЛОГИКА — одна из наиболее важных ветвей неклассической логики, имеющая своей филос. предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил.… … Философская энциклопедия
ПРОМЕЖУТОЧНАЯ ЛОГИКА — высказываний произвольное непротиворечивое множество пропозициональных формул, замкнутое относительно правила вывода модус поненс и правила подстановки и содержащее все аксиомы интуиционистского исчисления высказываний I. Наиболее естественным… … Математическая энциклопедия
МОДЕЛЕЙ ТЕОРИЯ — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, изучающий модели формальных теорий, соотношения между моделями и теориями и преобразования моделей. Предшественниками теории моделей были Б. Больцано и Э. Шредер, осознавшие понятие выполнимости… … Философская энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Библиография Артура Кларка — Артур Кларк, Коломбо, 28.03.2005 Сэр Артур Чарльз Кларк (англ. Sir Arthur Charles Clarke, 16 декабря 1917, Майнхэд, графство … Википедия
НОМИНАЛИЗМ — (лат. nomina имена, nominalis относящийся к названиям) 1 ) в узком смысле направление средневековой схоластики, конституирующееся как один из вариантов решения проблемы универсалий и противостоящее реализму по критерию интерпретации природы… … История Философии: Энциклопедия
НОМИНАЛИЗМ — (лат. nomina имена, nominalis относящийся к названиям) (1) в узком смысле направление средневековой схоластики, конституирующееся как один из вариантов решения проблемы универсалий и противостоящее реализму по критерию интерпретации природы… … Новейший философский словарь
Математическая теория доказательств — Теория доказательств (англ. proof theory) раздел математической логики, в котором феномен математического доказательства сам становится объектом, например алгебры или арифметики. Доказательство обычно представляют как индуктивно возникающие… … Википедия
НОМИНАЛИЗМ — (лат. nomina имена, nominalis относящийся к названиям) 1 ) в узком смысле направление средневековой схоластики, конституирующееся как один из вариантов решения проблемы универсалий и противостоящее реализму по критерию интерпретации природы… … История Философии: Энциклопедия